<HTML><HEAD><TITLE>library(linearize)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(linearize)</H1>
Normalizers for arithmetic expressions
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="delinearize-2.html"><STRONG>delinearize(?Linear, -Expression)</STRONG></A></DT>
<DD>Convert a linear form back to a standard arithmetic expression</DD>
<DT><A HREF="linearize-3.html"><STRONG>linearize(?Expression, -Linear, -Residue)</STRONG></A></DT>
<DD>Split and arithmetic expression into linear and nonlinear parts</DD>
<DT><A HREF="linrenorm-2.html"><STRONG>linrenorm(+LinOld, -LinNew)</STRONG></A></DT>
<DD>Renormalize a linear form</DD>
<DT><STRONG>normalize(?, ?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><A HREF="polydenorm-2.html"><STRONG>polydenorm(?NormPoly, -Expression)</STRONG></A></DT>
<DD>Convert a polynomial form back to a standard arithmetic expression</DD>
<DT><A HREF="polynorm-3.html"><STRONG>polynorm(?Expression, -NormPoly, -Residue)</STRONG></A></DT>
<DD>Extracts and normalises the polynomial part of an arithmetic expression</DD>
<DT><A HREF="polyrenorm-2.html"><STRONG>polyrenorm(+PolyOld, -PolyNew)</STRONG></A></DT>
<DD>Renormalize a polynomial form</DD>
<DT><A HREF="quadnorm-6.html"><STRONG>quadnorm(?Expression, -Const, -Linear, -Quadratic, -PolyRes, -Residue)</STRONG></A></DT>
<DD>Extracts constant, linear and quadratic part of an arithmetic expression</DD>
<DT><STRONG>simplify(?, ?)</STRONG></DT>
<DD>No description available</DD>
</DL>
</BLOCKQUOTE>
<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>Joachim Schimpf, IC-Parc
<LI><STRONG>Copyright &copy; </STRONG>Cisco Systems, Inc.
<LI><STRONG>Date: </STRONG>$Date: 2009/02/19 05:45:20 $
</UL>
<HR>Generated from linearize.eci on 2009-05-27 01:25
</BODY></HTML>
